Formal consensus - PDFSEARCH.IO - Document Search Engine

Formal consensus
Results: 146

#	Item
11	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: verdi.uwplse.org Language: English - Date: 2016-03-16 22:46:45 Fault-tolerant computer systems Computing Mathematics Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Cognitive science
12	Consensus Decision Making In this consensus briefing: Consensus decision making is a creative and Add to Reading List Source URL: seedsforchange.org.uk Language: English - Date: 2012-11-19 09:24:40 Group processes Decision theory Management Meetings Democracy Consensus decision-making Decision-making Facilitator Proposal Formal consensus False-consensus effect
13	Rhizome guide to A History of Consensus Consensus decision-making has been used in its current form since the 1960s and 70s, which are often credited as the birthplace of consensus. Add to Reading List Source URL: rhizomenetwork.files.wordpress.com Language: English - Date: 2012-01-24 14:58:00 Political philosophy Democracy Politics Consensus decision-making Sociocracy Participatory democracy Formal consensus Movement for a New Society General assembly Facilitator Kees Boeke
14	Consensus in Co-operatives The Rhizome co-operative argue that consensus decision-making can deepen both the ethos and practice of co-operation within your co-op. Co-operatives by their very nature assume a deeper level Add to Reading List Source URL: rhizomenetwork.files.wordpress.com Language: English - Date: 2011-06-26 12:44:24 Political philosophy Politics Democracy Evaluation methods Consensus decision-making Management Meetings Formal consensus The Co-operative Group Collective intelligence Consensus Consensus-seeking decision-making
15	Consensus in Co-operatives The Rhizome co-operative argue that consensus decision-making can deepen both the ethos and practice of co-operation within your co-op. Co-operatives by their very nature assume a deeper level Add to Reading List Source URL: rhizomenetwork.files.wordpress.com Language: English - Date: 2011-06-27 14:20:13 Decision theory Group processes Democracy Evaluation methods Consensus decision-making Management Formal consensus The Co-operative Group Collective intelligence Cooperative Consensus-seeking decision-making Oberlin Student Cooperative Association
16	Notes on Consensus Decision-Making Consensus is a form of cooperative, non-coercive decision-making. Though simple to describe, this process usually requires great understanding and a fair bit of experience to practice w Add to Reading List Source URL: www.vernalproject.org Language: English - Date: 2010-04-06 23:12:59 Behavior Social psychology Organizational theory Community organizing Behavioural sciences Consensus decision-making Facilitation Formal consensus Facilitator Meetings Decision theory Group processes
17	Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin Andrew Miller University of Central Florida Abstract—We present a formal model of synchronous processes Add to Reading List Source URL: tr.eecs.ucf.edu Language: English - Date: 2014-04-23 23:25:18 Fault-tolerant computer systems Consensus Bitcoin Stochastic processes Markov processes Distributed algorithm Poisson process Peer-to-peer Byzantine fault tolerance Statistics Computing Probability and statistics
18	Consensus Is Not Unanimity: Making Decisions Cooperatively by Randy Schutt What is consensus? Is it a cooperative, loving, nonviolent process in which people share their best ideas and come up with superior decisions? Or Add to Reading List Source URL: www.campusactivism.org Language: English - Date: 2003-02-10 22:57:56 Social psychology Behavior Ethics Consensus decision-making Meetings Groupthink Consensus Formal consensus Scientific consensus Group processes Community organizing Decision theory
19	Do Your Meeting Have PULSE Add to Reading List Source URL: www.longwood.edu Language: English - Date: 2009-08-21 15:19:42 Minutes Management Business Accountability Formal consensus Meetings Parliamentary procedure Agenda
20	Procedure: Deviation Resolution Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2011-07-21 15:53:04 Minutes Agenda Facilitator Business Action item Accountability Formal consensus Facilitation Meetings Management Parliamentary procedure